Nondeterministic finite automaton

Results: 144



#Item
121Formal languages / Computer science / Pattern matching / Universal identifiers / Nondeterministic finite automaton / Deterministic automaton / Terminal and nonterminal symbols / Deterministic finite automaton / International Article Number / Automata theory / Models of computation / Theoretical computer science

Data Structures in Coco/R Hanspeter Mössenböck Johannes Kepler University Linz Institute of System Software April 2005 This technical note describes the data structures in the C# and Java implementations

Add to Reading List

Source URL: www.ssw.uni-linz.ac.at

Language: English - Date: 2005-04-26 10:03:24
122Tree automaton / Nondeterministic finite automaton / Regular language / Tree / Ω-automaton / Automata theory / Theoretical computer science / Computer science

Tree-Walking Automata Cannot Be Determinized Mikolaj Boja´

Add to Reading List

Source URL: www.liafa.univ-paris-diderot.fr

Language: English - Date: 2011-09-30 05:53:43
123Graph theory / Tree automaton / Tree walking automaton / Nondeterministic finite automaton / Tree / T-tree / Symbol / Binary tree / Semi-deterministic Büchi automaton / Automata theory / Theoretical computer science / Computer science

Tree-Walking Automata Do Not Recognize All Regular Languages Mikolaj Bojanczyk

Add to Reading List

Source URL: www.mimuw.edu.pl

Language: English - Date: 2011-11-07 04:39:25
124Models of computation / Computer science / Applied mathematics / Foma / Finite state transducer / Finite-state machine / Regular expression / Nondeterministic finite automaton / Regular language / Automata theory / Formal languages / Theoretical computer science

Foma: a finite-state compiler and library Mans Hulden University of Arizona

Add to Reading List

Source URL: www.aclweb.org

Language: English - Date: 2009-03-27 10:36:23
125Finite-state machine / Nondeterministic finite automaton / Alphabet / Powerset construction / Deterministic automaton / State transition table / Deterministic finite automaton / Deterministic pushdown automaton / Automata theory / Theory of computation / Theoretical computer science

CHAPTER ✦

Add to Reading List

Source URL: infolab.stanford.edu

Language: English - Date: 2008-09-18 21:43:57
126Applied mathematics / Equivalence relation / Nondeterministic finite automaton / Regular language / FO / Sheaf / Semigroup / Model theory / Tree automaton / Automata theory / Theoretical computer science / Mathematics

Finite Automata and Their Decision Proble’ms# Abstract: Finite automata are considered in this paper a s instruments for classifying finite tapes. Each onetape automaton defines a set of tapes, a two-tape automaton defines a set of pairs of tapes, et cetera. The structure of the defined sets is studied. Various generalizations of the notion of an automaton are introduced

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2009-06-09 10:35:52
127Applied mathematics / Nondeterministic finite automaton / Powerset construction / Regular expression / Regular language / Finite-state machine / LR parser / LL parser / Pushdown automaton / Automata theory / Theoretical computer science / Computer science

Notes on Formal Language Theory and Parsing

Add to Reading List

Source URL: www.cs.may.ie

Language: English - Date: 2009-03-18 06:58:13
128Models of computation / Computer science / Applied mathematics / Regular expression / Nondeterministic finite automaton / Deterministic finite automaton / Regular language / Finite-state machine / Formal grammar / Automata theory / Formal languages / Theoretical computer science

Free University of Bolzano–Formal Languages and Compilers. Lecture IV, [removed] – A.Artale Formal Languages and Compilers

Add to Reading List

Source URL: www.inf.unibz.it

Language: English - Date: 2012-10-18 11:15:06
129Computer science / Formal languages / Applied mathematics / Finite-state machine / Nondeterministic finite automaton / Deterministic finite automaton / Deterministic automaton / Computability / Regular language / Automata theory / Models of computation / Theoretical computer science

Computing with Relational Machines G´erard Huet and Benoˆıt Razet INRIA Paris-Rocquencourt

Add to Reading List

Source URL: yquem.inria.fr

Language: English - Date: 2011-10-19 08:09:32
130Automata theory / Mathematics / Deduction / Entailment / Logical consequence / Metalogic / Nondeterministic finite automaton / Symbol / Petri net / Logic / Abstract algebra / Models of computation

A Structural Approach to Operational Semantics

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2005-01-10 08:48:23
UPDATE